Programming complexity - PDFSEARCH.IO - Document Search Engine

Programming complexity
Results: 456

#	Item
201	Microsoft Word - McCabe Recommended Approach to Code Reviews.doc Add to Reading List Source URL: www.mccabe.com Language: English - Date: 2008-12-09 09:26:24 Computer programming Source code Software review Cyclomatic complexity NDepend Source lines of code Software quality Code review Code Metrics Software engineering Software metrics Program analysis
202	102 complexity of the resulting asynchronous algorithm depends on the overhead introduced by the synchronizer. For a synchronizer S, let T (S) and M (S) be the time and message complexities of S for each generated clock Add to Reading List Source URL: dcg.ethz.ch Language: English - Date: 2014-09-26 08:28:48 Distributed computing Electronics Clock synchronization Clock skew Breadth-first search Computing Computer programming Distributed algorithms Synchronizer Synchronization
203	IUBS BIOLOGY AND COMPLEXITY Some Physical Facets Edited by G . CARERI Add to Reading List Source URL: www.iubs.org Language: English - Date: 2010-07-30 09:29:49 Tanzanian conservation organisations Classical cipher Computer programming Computing Software engineering
204	Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toron Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2015-01-28 09:11:33 Computational complexity theory Mathematical optimization Constraint programming Quadratic programming Linear programming Semidefinite programming Local consistency Knapsack problem Constraint satisfaction Operations research Theoretical computer science Applied mathematics
205	Donati et al. Algorithms for Molecular Biology:3 DOIs13015SOFTWARE ARTICLE Open Access Add to Reading List Source URL: www.almob.org Language: English Operations research Mathematics Search algorithms Computational complexity theory Dynamic programming Optimal control Optimization problem Reduction Genetic algorithm Theoretical computer science Applied mathematics Mathematical optimization
206	Algorithmic Probability, Heuristic Programming and AGI Ray J. Solomonoff Visiting Professor, Computer Learning Research Center Royal Holloway, University of London IDSIA, Galleria 2, CH–6928 Manno–Lugano, Switzerland Add to Reading List Source URL: world.std.com Language: English - Date: 2014-07-03 19:23:20 Algorithmic information theory Computer science Ray Solomonoff Kolmogorov complexity Algorithmic probability Expected value Huffman coding Hidden Markov model Artificial neural network Artificial intelligence Theoretical computer science Applied mathematics
207	Budget Feasible Mechanisms for Experimental Design Thibaut Horel ´ Ecole Normale Sup´erieure Add to Reading List Source URL: thibaut.horel.org Language: English - Date: 2015-01-22 00:44:30 Approximation algorithms Submodular set function Time complexity Linear programming relaxation Polynomial-time approximation scheme Linear programming Randomized rounding Normal distribution Linear regression Theoretical computer science Applied mathematics Computational complexity theory
208	MLL normalization and transitive closure: circuits, complexity, and Euler tours Harry Mairson Problem: Given a proofnet in multiplicative linear Add to Reading List Source URL: www.cs.brandeis.edu Language: English - Date: 2008-03-28 12:21:03 Logic Ordinal numbers Set theory Curry–Howard correspondence Dependently typed programming Type theory Ordinal arithmetic Mathematical logic Proof theory Mathematics
209	Effective Preprocessing with Hyper-Resolution and Equality Reduction Fahiem Bacchus1 and Jonathan Winter1 Department of Computer Science, University Of Toronto,? Toronto, Ontario, Canada [fbacchus\|winter]@cs.toronto.edu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-06-07 02:16:30 Mathematical logic Logic programming Rules of inference Logic in computer science Complexity classes Unit propagation Resolution Clause NL Theoretical computer science Mathematics Automated theorem proving
210	SoK: Deep Packer Inspection: A Longitudinal Study of the Complexity of Run-Time Packers Xabier Ugarte-Pedrero∗ , Davide Balzarotti† , Igor Santos∗ , Pablo G. Bringas∗ ∗ DeustoTech, University of Deusto Add to Reading List Source URL: paginaspersonales.deusto.es Language: English - Date: 2015-03-12 04:40:21 System software Executable compression Procedural programming languages UPX C THE multiprogramming system Software EXE packers Computing